381. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
382. Quantitative measure for discrete event supervisory control /
پدیدآورنده : edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ222
.
Q36
2005
383. Quaternion and Clifford Fourier Transforms and Wavelet
پدیدآورنده : / edited by Eckhard Hitzer, Stephen J. Sangwine
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer vision,Matrix theory,Fourier analysis,Numerical analysis,Number theory,Electronic books
رده :
E-BOOK
384. Random mappings
پدیدآورنده : Valentin F. Kolchin
موضوع : Combinatorial probabilities,Mappings (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
385. Real-Time C++ :
پدیدآورنده : Christopher Kormanyos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C++ (Computer program language),Microcontrollers.,Microprogramming.,Computer architecture.,Computer science.,Computer system failures.,COMPUTERS-- Programming Languages-- C++.,Computers, Special purpose.,Microprogramming.,Software engineering.
رده :
QA76
.
73
.
C153
K695
2015
386. Recent Advances in Reliability Theory
پدیدآورنده : edited by N. Limnios, M. Nikulin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering.,Statistics.,System safety.
387. Recent deveolpments in numerical methods and software for ODES/DAES/PDES
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Engineering mathematics,، Differential equations,، Numerical solutions
رده :
QA
370
.
R43
1992
388. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
389. Relations and Graphs :
پدیدآورنده : by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
390. Reliability engineering
پدیدآورنده : by K.K. Aggarwal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Reliability (Engineering),Systems engineering.
رده :
TA168
.
B955
1993
391. Resampling Methods
پدیدآورنده : by Phillip I. Good.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics.,Statistics.
392. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
393. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
394. 14, 2011. Revised Selected Papers, Part I-Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11
پدیدآورنده : / Jerzy Waniewski (auth.), Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waniewski (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
395. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
396. SACALC (computer file): signal analysis calculator
پدیدآورنده : / William T. Hardy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Signal processing- Mathematics- Software,Software engineering
رده :
TK5102
.
5
.
H327
1990
397. Scientific Computing in Chemical Engineering
پدیدآورنده : edited by Frerich Keil, Wolfgang Mackens, Heinrich Voß, Joachim Werther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry, Physical and theoretical.,Chemistry.,Chemometrics.
رده :
TP184
.
E358
1996
398. Scientific Computing with Mathematica®
پدیدآورنده : by Addolorata Marasco, Antonio Romano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
399. Scientific computing.
پدیدآورنده : John A. Trangenstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Approximation theory.,Approximation theory.,Differential calculus & equations.,Mathematics-- Applied.,Mathematics-- Counting & Numeration.,Mathematics-- Differential Equations.,Numerical analysis.,Optimization.
رده :
QA221
400. Security, privacy, and applied cryptography engineering :
پدیدآورنده : Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
